In this paper we describe the Curry-Howard-De Bruijn isomorphism between Higher Order Many Sorted Intuitionistic Predicate Logic PREDω and the type system λPREDω, which can be considered a subsystem of the Calculus of Constructions. The type system is presented using the concept of a Pure Type System, which is a very elegant framework for describing type systems. We show in great detail how formulae and proof trees of the logic relate to types and terms of the type system, respectively. (...) Finally, we discuss some consequences of the isomorphism with respect to the relation between the systems discussed in this paper. (shrink)

Epistemological disjunctivists make two strong claims about perceptual experience's epistemic value: experience guarantees the knowledgeable character of perceptual beliefs; experience's epistemic value is “reflectively accessible”. In this paper I develop a form of disjunctivism grounded in a presentational view of experience, on which the epistemic benefits of experience consist in the way perception presents the subject with aspects of her environment. I show that presentational disjunctivism has both dialectical and philosophically fundamental advantages over more traditional expositions. Dialectically, presentational disjunctivism resolves (...) a puzzle disjunctivists face in their posture vis-à-vis skeptical scenarios. More systematically, presentational disjunctivism provides an especially compelling view of disjunctivism as an internalist view of perceptual consciousness by explaining the way perceptual presence manifests the subject's rationality in a distinct way. (shrink)

According to epistemological disjunctivism (ED), ordinary perceptual experience ensures an opportunity for perceptual knowledge. In recent years, two distinct models of this idea have been developed. For Duncan Pritchard (Epistemological disjunctivism, 2012, Oxford University Press; Epistemic angst: Radical skepticism and the groundlessness of our believing, 2012, Princeton University Press), perception provides distinctly powerful reasons for belief. By contrast, Clayton Littlejohn (Journal of Philosophical Research, 41, 201; Knowledge first, 2017, Oxford University Press; Normativity: Epistemic and practical, 2018, Oxford University Press) and (...) Alan Millar (The nature and value of knowledge: Three investigations, 2010, Oxford University Press; Philosophical Issues, 21, 332) argue for a version of ED in terms of a “knowledge first” program, on which perception directly provides knowledge, without relying on antecedent reasons or justification. Specifically, both Littlejohn and Millar argue that “reasons first” ED faces a problematic regress. In this article, I defend “reasons first” ED by arguing that experience provides a type of reason that escapes the regress. I also argue that reasons are a fundamental aspect of ED, especially in its anti-skeptical stance. (shrink)

Negative disjunctivists like Mike Martin and Bill Fish understand hallucinations in purely epistemic terms, and do not attribute phenomenal character to these visual misfires. However, the approaches by Martin and Fish are importantly different, and there has been little systematic work on how negative disjunctivism is motivated. In this paper, I argue for a version of negative disjunctivism that centers on the idea that perception involves the exercise of a fallible self-conscious capacity. I claim that this at once explains hallucinations (...) in purely negative terms that are close to Martin’s approach, while at the same time providing negative disjunctivism with an explanatory basis that Fish attempts to provide and Martin’s view lacks. (shrink)

Epistemological disjunctivists hold that perceiving subjects have “reflective access” to factive perceptual support for belief. However, little has been done to elaborate the intended notion of reflection, or introspective awareness more generally. Moreover, critics have pointed out that the disjunctivist conception of “reflective access” can seem vulnerable to varieties of Williamson’s anti-luminosity argument. In this paper I defend disjunctivism from this charge, arguing that it holds the resources for a potent defense of the claim that knowledge of perceptual states is (...) luminous. Indeed, I argue that appreciating the relation between disjunctivism and luminosity sheds critical light on how the disjunctivist conceives of perceptual support for belief. (shrink)

What is the role of conscious experience in the epistemology of perceptual knowledge: how should we characterise what is going on in seeing that o is F in order to illuminate the contribution of seeing o to their status as cases of knowing that o is F? My proposal is that seeing o involves conscious acquaintance with o itself, the concrete worldly source of the truth that o is F, in a way that may make it evident to the subject (...) that o is an instance of ‘x is F’ as she understands this, and hence evident that o is F. Seeing that o is F is thus a way of its being evident that o is F and is therefore a way of knowing that o is F. (shrink)

In recent work, Scott Soames (2010, 2013, 2015, 2019) and Peter Hanks (2011, 2013, 2015) have developed a theory of propositions on which these are constituted by complexes of intellectual acts. In this article, I adapt this type of theory to provide an account of perceptual content. After introducing terminology in section 1, I detail the approach proffered by Soames and Hanks in section 2, focusing on Hanks’s version. In section 3, I introduce a problem that these theories face, namely, (...) how to account for the unity among the relevant intellectual acts. Section 4 provides an answer to this problem of unity, while section 5 explicates the relation to Soames and Hanks. In section 6, I extend the model to a theory of the unity of experiential consciousness. Finally, in section 7, I apply the preceding considerations to debates about the nature of perceptual representation. The upshot will be that experiential unity is not simply a phenomenal feature of consciousness, but central to an account of the role perceptual representation plays in perceptual cognition. (shrink)

A partial ordering in the class of observables (∼ positive operator-valued measures, introduced by Davies and by Ludwig) is explored. The ordering is interpreted as a form of nonideality, and it allows one to compare ideal and nonideal versions of the same observable. Optimality is defined as maximality in the sense of the ordering. The framework gives a generalization of the usual (implicit) definition of self-adjoint operators as optimal observables (von Neumann), but it can, in contrast to this latter definition, (...) be justified operationally. The nonideality notion is compared to other quantum estimation theoretic methods. Measures for the amount of nonideality are derived from information theory. (shrink)

The problem of joint measurement of incompatible observables is investigated. Measurements are represented by positive operator-valued measures. A quantitative notion of inaccuracy is defined. It is shown that within this framework joint inaccurate measurements are possible for arbitrary maximal projection-valued measures on finite-dimensional spaces. The accuracy of such measurements is limited, as is shown by an inaccuracy inequality we derive. This new type of uncertainty relation can be unambiguously interpreted as referring to measurement precision rather than preparative quality. Several recent (...) experiments are seen to be realizations of such joint measurements. (shrink)

The paper presents a speculative model for associative memory. It has two layers: the lower layer describes memory of a single cell, the upper layer describes how the work is distributed address-free over a large set of cells. Thinking, consciousness and various features of memory are interpreted in terms of the memory model.

Humans are experts in cooperating with each other when trying to accomplish tasks they cannot achieve alone. Recent studies of joint action have shown that when performing tasks together people strongly rely on the neurocognitive mechanisms that they also use when performing actions individually, that is, they predict the consequences of their co‐actor’s behavior through internal action simulation. Context‐sensitive action monitoring and action selection processes, however, are relatively underrated but crucial ingredients of joint action. In the present paper, we try (...) to correct the somewhat simplified view on joint action by reviewing recent studies of joint action simulation, monitoring, and selection while emphasizing the intricate interrelationships between these processes. We complement our review by defining the contours of a neurologically plausible computational framework of joint action. (shrink)

Poverty is associated with a wide range of counterproductive economic behaviors. Scarcity theory proposes that poverty itself induces a scarcity mindset, which subsequently forces the poor into suboptimal decisions and behaviors. The purpose of our work is to provide an integrated, up-to-date, critical review of this theory. To this end, we reviewed the empirical evidence for three fundamental propositions: Poverty leads to attentional focus and neglect causing overborrowing, poverty induces trade-off thinking resulting in more consistent consumption decisions, and poverty reduces (...) mental bandwidth and subsequently increases time discounting and risk aversion. Our findings indicate that the current literature predominantly confirms the first and second proposition, although methodological issues prevent a firm conclusion. Evidence for the third proposition was not conclusive. Additionally, we evaluated the overall status of scarcity theory. Although the theory provides an original, coherent, and parsimonious explanation for the relationship between financial scarcity and economic decision making, the theory does not fully accord with the data and lacks some precision. We conclude that both theoretical and empirical work are needed to build a stronger theory. (shrink)

In response to recent developments in the labour market, in occupational structure and in occupational practice, many aspects of vocational education and training are subjects of discussion and in transition. The tertiary sector is growing, some occupations are integrating while others are differentiating. New methods of production and organization require new types of employee competencies: problem-solving and social-communicative skills are becoming more and more important. The article focuses on the importance and the possibilities of shaping these developments from a gender (...) perspective. First, the significance of changing qualification requirements is discussed for the technical sector, the service and care sector and the economic-administrative sector. Second, two innovations in vocational education and training are discussed: the recognition of prior learning and the development of flexible, modular educational pathways. (shrink)

To understand how compliance develops both in everyday and corporate environments, it is crucial to understand how different mechanisms work together to shape individuals’ (non)compliant behavior. Existing compliance studies typically focus on a subset of theories (i.e., rational choice theories, social theories, legitimacy theories, capacity theories, and opportunity theories) to understand how key variables from one or several of these theories shape individual compliance. The present study provides a first integrated understanding of compliance, rooted in complexity science, in which key (...) elements from these theories are considered simultaneously, and their relations to compliance and each other are explored using network analysis. This approach is developed by analyzing online survey data (_N_ = 562) about compliance with COVID-19 mitigation measures. Traditional regression analysis shows that elements from nearly all major compliance theories (except for social theories) are associated with compliance. The network analysis revealed groupings and interconnections of variables that did not track the existing compliance theories and point to a complexity overlooked in existing compliance research. These findings demonstrate a fundamentally different perspective on compliance, which moves away from traditional narrow, non-network approaches. Instead, they showcase a complexity science understanding of compliance, in which compliance is understood as a network of interacting variables derived from different theories that interact with compliance. This points to a new research agenda that is oriented on mapping compliance networks, and testing and modelling how regulatory and management interventions interact with each other and compliance within such networks. (shrink)

One in three university students experiences mental health problems during their study. A similar percentage leaves higher education without obtaining the degree for which they enrolled. Research suggests that both mental health problems and academic underperformance could be caused by students lacking control and purpose while they are adjusting to tertiary education. Currently, universities are not designed to cater to all the personal needs and mental health problems of large numbers of students at the start of their studies. Within the (...) literature aimed at preventing mental health problems among students (e.g., anxiety or depression), digital forms of therapy recently have been suggested as potentially scalable solutions to address these problems. Integrative psychological artificial intelligence (AI) in the form of a chatbot, for example, shows great potential as an evidence-based solution. At the same time, within the literature aimed at improving academic success, the online life-crafting intervention in which students write about values and passions, goals, and goal-attainment plans has shown to improve the academic performance and retention rates of students. Because the life-crafting intervention is delivered through the curriculum and doesn’t bear the stigma that is associated with therapy, it can reach larger populations of students. But life-crafting lacks the means for follow-up or the interactiveness that online AI-guided therapy can offer. In this paper, we propose to integrate the current literature on chatbot interventions aimed at the mental health of students with research about a life-crafting intervention that uses an inclusive curriculum-wide approach. When a chatbot asks students to prioritize both academic as well as social and health-related goals and provides personalized follow-up coaching, this can prevent -often interrelated- academic and mental health problems. Right on-time delivery, and personalized follow-up questions enhance the effects of both -originally separated- intervention types. Research on this new combination of interventions should use design principles that increase user-friendliness and monitor the technology acceptance of its participants. (shrink)

Dealing with soldier enhancement can be challenging for military physicians. As research on the ethics of soldier enhancement is mostly theoretical, this study aims to gain insights into the actual moral issues military physicians encounter, or expect to encounter. To that end, we carried out a qualitative study involving six focus groups of Dutch military physicians (n = 28) in operational roles. The participants voiced their concerns about moral issues concerning soldier enhancement. Based on the group discussions, and using inductive (...) thematic analysis, we ascertained three major themes: (1) Doing no harm in soldier enhancement: uncertainty and high stakes; (2) Dependency relationships and conflicting moral responsibilities; and (3) The risk of ethical slippery slopes. Our findings illustrate that dealing with these moral responsibilities requires considerable skill and acuity to weigh up for all the situated complexities and dependency relationships that go beyond abstract rules or moral principles. A care-ethical approach that acknowledges the contextual and relational aspects of moral complexities along with peer consultation and joint reflective dialogue on moral issues can help military physicians deal with soldier enhancement responsibly. (shrink)

Several models of narrative persuasion posit that a reader's phenomenological experience of a narrative plays a mediating role in the persuasive effects of the narrative. Because the narrative reading experience is multi-dimensional, this experiment investigates which dimensions of this experience – referred to here as narrative engagement – mediate between reading a story and the persuasive effects of the story. Narrative engagement was manipulated by giving participants a selection task to carry out while reading or by adding language errors to (...) the story. Results showed that the task decreased the engagement dimension Being in Narrative World and the language errors decreased the dimension Attentional Focus. No corresponding effects on attitudes were found. However, comparisons with a control group showed that reading the story rendered attitudes more consistent with the story. Regression analysis indicated that this effect may be explained by readers' emotions regarding the characters. (shrink)

although mostly known to specialists nowadays, Kenelm Digby was a remarkable figure on the intellectual scene of the early seventeenth century. He has been described as “one of the most influential natural philosophers” of his time,1 and corresponded with many of the great scholars of his days, including Descartes, and the French pioneer of atomism, Pierre Gassendi. In the later years of his life, Digby, alongside men like Robert Boyle, became one of the founding members of the Royal Society.2Digby authored (...) one major work of philosophy: the Two Treatises of 1644. This work consisted of a long First Treatise on bodies, and a shorter, Second Treatise on the human soul. In the First Treatise, Digby argued... (shrink)

The sociobiological fashion has for a long time discouraged the development of theories of the immediate causation of behaviour. It is only recently that new approaches are being developed to improve on the classical ethological theory originated by Lorenz and Tinbergen. One new departure is behavioural field theory (BFT) which brings back the concept of energy in behaviour, without being susceptible to the drawbacks of the energy or fuel concept of classical theory. In this paper the new theory is explained (...) in some detail and it is shown to be illuminating, predictive and testable in examples of play-like and territorial behaviour. (shrink)

We invite systematic consideration of the metaphors of cycles and circulation as a long-term theme in the history of the life and environmental sciences and medicine. Ubiquitous in ancient religious and philosophical traditions, especially in representing the seasons and the motions of celestial bodies, circles once symbolized perfection. Over the centuries cyclic images in western medicine, natural philosophy, natural history and eventually biology gained independence from cosmology and theology and came to depend less on strictly circular forms. As potent ‘canonical (...) icons’, cycles also interacted with representations of linear and irreversible change, including arrows, arcs, scales, series and trees, as in theories of the Earth and of evolution. In modern times life cycles and reproductive cycles have often been held to characterize life, in some cases especially female life, while human efforts selectively to foster and disrupt these cycles have harnessed their productivity in medicine and agriculture. But strong cyclic metaphors have continued to link physiology and climatology, medicine and economics, and biology and manufacturing, notably through the relations between land, food and population. From the grand nineteenth-century transformations of matter to systems ecology, the circulation of molecules through organic and inorganic compartments has posed the problem of maintaining identity in the face of flux and highlights the seductive ability of cyclic schemes to imply closure where no original state was in fact restored. More concerted attention to cycles and circulation will enrich analyses of the power of metaphors to naturalize understandings of life and their shaping by practical interests and political imaginations. (shrink)